top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
A discipline of programming / Edsger W. Dijkstra
A discipline of programming / Edsger W. Dijkstra
Autore Dijkstra, Edsger Wybe
Pubbl/distr/stampa Englewood Cliffs (N.J.), : Prentice-Hall, c1976
Descrizione fisica XVII, 217 p. ; 24 cm.
Disciplina 005.1
Collana Prentice-Hall series in automatic computation
Soggetto topico Elaboratori elettronici - Programmazione
ISBN 013215871X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-PUV0310157
Dijkstra, Edsger Wybe  
Englewood Cliffs (N.J.), : Prentice-Hall, c1976
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
Autore Dijkstra, Edsger W.
Pubbl/distr/stampa Wokingham : Addison-Wesley, 1988
Descrizione fisica VIII, 188 p. ; 24 cm
Disciplina 005.131
Altri autori (Persone) Feijen, W. H. J.
Soggetto non controllato Elaboratori elettroniciProgrammazione
Logica simbolica
ISBN 0201175363
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIPARTHENOPE-000017141
Dijkstra, Edsger W.  
Wokingham : Addison-Wesley, 1988
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
Autore Dijkstra, Edsger Wybe
Pubbl/distr/stampa Wokingham [etc.], : Addison-Wesley, 1988
Descrizione fisica VIII, 188 p. ; 24 cm
Disciplina 005.1
Altri autori (Persone) Feijen, W. H. J.
Soggetto topico Elaboratori elettronici - Programmazione
ISBN 0201175363
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNISANNIO-AQ10007461
Dijkstra, Edsger Wybe  
Wokingham [etc.], : Addison-Wesley, 1988
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
A primer of Algol 60 programming / by E.W. Djkstra ; together with report on the algorithmic language Algol 60
A primer of Algol 60 programming / by E.W. Djkstra ; together with report on the algorithmic language Algol 60
Autore DIJKSTRA, Edsger Wybe
Pubbl/distr/stampa New York ; London : published for the Automatic programming information centre, Brighton college of technology by Academic press, 1962
Descrizione fisica XI, 114 p. ; 23 cm
Disciplina 001.6424
Collana A.P.I.C. studies in data processing
Soggetto non controllato Elaboratori elettronici Programmazione Linguaggio Algol 60
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000557290203316
DIJKSTRA, Edsger Wybe  
New York ; London : published for the Automatic programming information centre, Brighton college of technology by Academic press, 1962
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A discipline of programming / Edsger W. Dijkstra
A discipline of programming / Edsger W. Dijkstra
Autore Dijkstra, Edsger Wybe
Pubbl/distr/stampa Englewood Cliffs, N.J. : Prentice-Hall, 1976
Descrizione fisica xvii, 217 p. ; 24 cm.
Disciplina 001.642
Collana Prentice-Hall series in automatic computation
Soggetto topico Electronic digital computers-programming
Logic programming
ISBN 013215871X
Classificazione AMS 68N17
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000828789707536
Dijkstra, Edsger Wybe  
Englewood Cliffs, N.J. : Prentice-Hall, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Autore Dijkstra, Edsger W.
Pubbl/distr/stampa New York : Springer, c1990
Descrizione fisica X, 220 p. ; 24 cm
Disciplina 511.3
Altri autori (Persone) Scholten, Carel S.
Collana Texts and monographs in computer science
Soggetto non controllato Logica matematica
ISBN 0-387-96957-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNIPARTHENOPE-000018873
Dijkstra, Edsger W.  
New York : Springer, c1990
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Autore Dijkstra, Edsger Wybe
Pubbl/distr/stampa New York [etc.], : Springer-Verlag, c1990
Descrizione fisica X, 220 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Scholten, Carel S.
Collana Texts and monographs in computer science
Soggetto topico Linguaggi di programmazione - Semantica
ISBN 0387969578
3540969578
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-RMS0030072
Dijkstra, Edsger Wybe  
New York [etc.], : Springer-Verlag, c1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Selected Writings on Computing : A Personal Perspective / Edsger W. Dijkstra
Selected Writings on Computing : A Personal Perspective / Edsger W. Dijkstra
Autore Dijkstra, Edsger W.
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1982
Disciplina 510.78
Collana Texts and Monographs in Computer Science
Soggetto non controllato Teoria della programmazione e utilizzazione dei computers
Software
ISBN 0-387-90652-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001089930403321
Dijkstra, Edsger W.  
New York [etc.] : Springer-Verlag, 1982
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Selected writings on computing : a personal perspective / Edsger Wybe Dijkstra
Selected writings on computing : a personal perspective / Edsger Wybe Dijkstra
Autore DIJKSTRA, Edsger W.
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, copyr. 1982
Descrizione fisica XVII, 362 p. : ill. ; 23 cm
Disciplina 001.64
Collana Texts and monographs in computer science
Soggetto topico Elaborazione elettronica dei dati
ISBN 0-387-90652-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000353920203316
DIJKSTRA, Edsger W.  
New York [etc.] : Springer-Verlag, copyr. 1982
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui